Analysing Functions by Projection-Based Backward Abstraction
نویسنده
چکیده
Various techniques for strictness analysis by non-standard interpretation have been proposed in which the basic non-standard values are projections. We show that continuous functions can be completely characterised by appropriate forward and backward abstractions.
منابع مشابه
A Forward-Backward Projection Algorithm for Approximating of the Zero of the Sum of Two Operators
In this paper, a forward-backward projection algorithm is considered for finding zero points of the sum of two operators in Hilbert spaces. The sequence generated by algorithm converges strongly to the zero point of the sum of an $alpha$-inverse strongly monotone operator and a maximal monotone operator. We apply the result for solving the variational inequality problem, fixed po...
متن کاملAssertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
This paper presents results on the problem of checking equality assertions in programs whose expressions have been abstracted using combination of linear arithmetic and uninterpreted functions, and whose conditionals are treated as non-deterministic. We first show that the problem of assertion checking for this combined abstraction is coNP-hard, even for loop-free programs. This result is quite...
متن کاملA note on comprehensive backward biorthogonalization
We present a backward biorthogonalization technique for giving an orthogonal projection of a biorthogonal expansion onto a smaller subspace, reducing the dimension of the initial space by dropping d basis functions. We also determine which basis functions should be dropped to minimize the L2 distance between a given function and its projection. This generalizes some recent results of Rebollo-Ne...
متن کاملTracking of video objects using a backward projection technique
In this paper, we present a technique for tracking video objects in a sequence. The proposed technique is based on a backward projection technique. Since classical backward technique can be disturbed by occlusions and potential errors in spatial segmentation or motion estimation, we propose an extension to the backward projection technique in order to cope with these problems. Results obtained ...
متن کاملRecursive and Backward Reasoning in the Verification of Hybrid Systems
In this paper we introduce two improvements to the method of verification of hybrid systems by constraint propagation based abstraction refinement that we introduced earlier. The first improvement improves the recursive propagation of reachability information over the regions constituting the abstraction, and the second improvement reasons backward from the set of unsafe states, instead of reas...
متن کامل